sigma compact space

紧空间